121![Revised4 Report on the Algorithmic Language Scheme H. ABELSON N. I. ADAMS IV D. H. BARTLEY G. BROOKS Revised4 Report on the Algorithmic Language Scheme H. ABELSON N. I. ADAMS IV D. H. BARTLEY G. BROOKS](https://www.pdfsearch.io/img/6ba05631fba8eeeac1676fe3322e779b.jpg) | Add to Reading ListSource URL: people.csail.mit.eduLanguage: English - Date: 2007-08-30 20:21:55
|
---|
122![Prolog: A Logic Programming Language with Names, Binding and
-Equivalence James Cheney1 , Christian Urban2 Prolog: A Logic Programming Language with Names, Binding and
-Equivalence James Cheney1 , Christian Urban2](https://www.pdfsearch.io/img/d9ff0a38003b470706fb04db60b6f418.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2004-10-28 08:33:44
|
---|
123![αProlog User’s Guide & Language Reference Version 0.3 DRAFT αProlog User’s Guide & Language Reference Version 0.3 DRAFT](https://www.pdfsearch.io/img/f93b8a7fb520aa53225ffaf09ff4b7bd.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2004-10-28 08:33:38
|
---|
124![Coreferential Interpretations of Reflexives in Picture Noun Phrases: An Experimental Approach Coreferential Interpretations of Reflexives in Picture Noun Phrases: An Experimental Approach](https://www.pdfsearch.io/img/0ac37fd248c52f02014fc9444c4fc285.jpg) | Add to Reading ListSource URL: www.lingref.comLanguage: English - Date: 2013-07-01 12:58:28
|
---|
125![GDP Festschrift ENTCS, to appear GDP Festschrift ENTCS, to appear](https://www.pdfsearch.io/img/c04ac031781c8b2e52bf335983348794.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2009-05-20 09:46:45
|
---|
126![An Introduction to Decidability of Higher-Order Matching Colin Stirling [removed] LFCS School of Informatics An Introduction to Decidability of Higher-Order Matching Colin Stirling [removed] LFCS School of Informatics](https://www.pdfsearch.io/img/f05b038ea8796b002a99e2e7d1aa6ba5.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2013-07-16 11:18:48
|
---|
127![Discourse Representation in Context Jan van Eijck and Hans Kamp January 7, 2010 Discourse Representation in Context Jan van Eijck and Hans Kamp January 7, 2010](https://www.pdfsearch.io/img/e0a7241fe7a266ffa44c1c1c4f010f30.jpg) | Add to Reading ListSource URL: homepages.cwi.nlLanguage: English - Date: 2010-11-17 08:04:45
|
---|
128![Logical Methods in Computer Science Vol. 5 (3:[removed], pp. 1–52 www.lmcs-online.org Logical Methods in Computer Science Vol. 5 (3:[removed], pp. 1–52 www.lmcs-online.org](https://www.pdfsearch.io/img/5e9e11d6c4123139392091ac78897c67.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2010-12-22 08:41:55
|
---|
129![Revised5 Report on the Algorithmic Language Scheme RICHARD Revised5 Report on the Algorithmic Language Scheme RICHARD](https://www.pdfsearch.io/img/40cc0fda825064bd04c20766844ddd48.jpg) | Add to Reading ListSource URL: people.csail.mit.eduLanguage: English - Date: 2001-05-16 23:38:54
|
---|
130![Higher-Order Abstract Syntax∗ Frank Pfenning† Higher-Order Abstract Syntax∗ Frank Pfenning†](https://www.pdfsearch.io/img/2b1659021c3a706f1cdae37da25ad81e.jpg) | Add to Reading ListSource URL: www.cs.cmu.eduLanguage: English - Date: 2001-01-03 16:03:41
|
---|